isrcv($l$;$a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\neg_{2}$isnull($a$) $\wedge_{2}$ isrcv(kind($a$)) $\wedge_{2}$ lnk(kind($a$)) = $l$